Verification of Interaction Overview Diagrams Using Colored Petrinets
نویسنده
چکیده
The UML 2 Interaction Overview Diagram (IOD) provides a visual representation of system‟s overall interactions. The UML 2 IOD visualizes the behaviour of a system only for the interaction among the components and also a partial order between send and receive message events; however the semantics of communication among the interaction occurrences and process execution policy remains vague. It does not provide formal approach of specification and has a weak support for the validation. So, it is extremely important to improve the „quality‟ of the design model using formal description and thereby validating the highest level of abstraction of design. An attempt has been made in this paper towards formalizing the IOD Sequence diagrams by mapping it into Colored Petri nets (CPNs). This approach of formal translation allows a designer using UML 2.0 to verify and validate models using CPN tools.
منابع مشابه
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams
Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics is still informal. The Interaction Overview Diagram (IOD) is introduced in UML2; it allows the specification of the behavior in the hierarchical way. In this paper, we make a contribution towards...
متن کاملFrom Interaction Overview Diagrams to Temporal Logic
In this paper, we use UML Interaction Overview Diagrams as the basis for a user-friendly, intuitive, modeling notation that is wellsuited for the design of complex, heterogeneous, embedded systems developed by domain experts with little background on modeling softwarebased systems. To allow designers to precisely analyze models written with this notation, we provide (part of) it with a formal s...
متن کاملAutomated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets
The increasing reliance on computer technology nowadays has resulted in a rapidly growing need to build reliable and fault resistant computer-based systems. Computer system reliabilities are conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static representations of system reliabilities. A recent extension ...
متن کاملA Survey On Verification of Composed Web Services R.Rajeswari, et al,.
A Web services are proliferated because of its massive support and uses in the industries and research areas. Usages of the web services are unavoidable in the software industry for its reusability and interoperability. For more reusability, web services are integrated together to form the composition. Hence the compositions of web services are widely done and getting benefit from it. Various m...
متن کامل